$\forall$$r$:$\mathbb{Q}$. ($\uparrow$qpositive($r$)) $\Leftarrow\!\Rightarrow$ 0 $<$ $r$